English technique for demonstrating theorems: переклад на інші мови